Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)

Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)

AVoCS 2014, the 14th International Conference on Automated Verification of Critical Systems has been hosted by the University of Twente, and has taken place in Enschede, Netherlands, on 24–26 September, 2014. The aim of the AVoCS series is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of ...

Special issue on Automated Verification of Critical Systems (AVoCS'11)

AVoCS 2014, the 14th International Conference on Automated Verification of Critical Systems has been hosted by the University of Twente, and has taken place in Enschede, Netherlands, on 24–26 September, 2014. The aim of the AVoCS series is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of ...

Generation Challenges 2010 Preface

Preface to the SCCC 2010 Special Issue

The conference received 100 submissions, from which the program committee selected 45 for presentation. Among the presented articles the conference chairs selected 12 papers, which were extended and revised for the CLEI Electronic Journal. Such selection was done based on the articles evaluation score and the recommendation of the conference sessions chairs. After two reviewing rounds seven art...

The LF Language Verification Systems for Albayzin-2010 Evaluation

This paper presents a description of INESC-ID’s Spoken Language Systems Laboratory (LF) Language Verification systems submitted to the ALBAYZIN-2010 evaluation. The primary submission consists of the fusion of six individual subsystems: one Gaussian supervector approach with support vector machines that relies on the acoustic characteristics extracted by a front-end of shifted deltas, and five ...